-
1 equivalent sentences
Большой англо-русский и русско-английский словарь > equivalent sentences
-
2 equivalent sentences
Математика: эквивалентные высказывания -
3 equivalent sentences
English-Russian electronics dictionary > equivalent sentences
-
4 equivalent sentences
The New English-Russian Dictionary of Radio-electronics > equivalent sentences
-
5 equivalent sentences
логикаEnglish-Russian scientific dictionary > equivalent sentences
-
6 sentence
1) вчт предложениеа) высказывание; фраза; синтаксическая конструкция2) приговор•- analytically expressible sentence
- atomic sentence
- closed sentence
- composite sentence
- conditional sentence
- consistent sentence
- contradictory sentence
- declarative sentence
- equisignificant sentences
- equivalent sentences
- false sentence
- grammatical sentence
- Horn sentence
- inconsistent sentence
- inverse sentence
- mathematical sentence
- matrix sentence
- open sentence
- provable sentence
- quantifier-free sentence
- satisfiable sentence
- topic sentence
- true sentence
- unambiguous sentence
- Usenet death sentence -
7 sentence
1) вчт. предложениеа) высказывание; фраза; синтаксическая конструкция2) приговор•- analytically expressible sentence
- atomic sentence
- closed sentence
- composite sentence
- conditional sentence
- consistent sentence
- contradictory sentence
- declarative sentence
- equisignificant sentences
- equivalent sentences
- false sentence
- grammatical sentence
- Horn sentence
- inconsistent sentence
- inverse sentence
- mathematical sentence
- matrix sentence
- open sentence
- provable sentence
- quantifier-free sentence
- satisfiable sentence
- topic sentence
- true sentence
- unambiguous sentence
- Usenet death sentenceThe New English-Russian Dictionary of Radio-electronics > sentence
-
8 эквивалентные высказывания
Большой англо-русский и русско-английский словарь > эквивалентные высказывания
-
9 set
1) набор; комплект- semiconductor assembly set - set of Belleville springs - set of conventional set - set of drawing instruments - set of gate patterns - set of gauge blocks - set of logical elements - set of statistical data - set of technical aids- snap set2) партия3) совокупность; множество4) установка; агрегат- desk telephone set - dial telephone set- gear set- local-battery telephone set - man-pack radio set - multi-operator welding set - sound-powered telephone set - wall telephone set5) регулировка; настройка || регулировать; настраивать6) группа; ансамбль7) класс; семейство9) схватывание || схватываться10) затвердевание || затвердевать11) крепление || закреплять12) геол. свита пород13) осадка (грунта) || оседать ( о грунте)14) радиоточка15) спорт сет16) включать, приводить в действие17) мат. множествоset closed under operation — множество, замкнутое относительно операции
- absolutely compact set - absolutely continuous set - absolutely convex set - absolutely irreducible set - absolutely measurable set - affinely independent set - affinely invariant set - algebraically independent set - almost finite set - almost full set - angular cluster set - asymptotically indecomposable set - at most denumerable set - centro-symmetric set - completely bounded set - completely continuous set - completely generating set - completely improper set - completely irreducible set - completely nonatomic set - completely normal set - completely ordered set - completely productive set - completely reducible set - completely separable set - constructively nonrecursive set - convexly independent set - countably infinite setto set aside — не учитывать, не принимать во внимание; откладывать
- cut set- cyclically ordered set - deductively inconsistent set - derived set - doubly well-ordered set - dual set of equations - dynamically disconnected set - effectively enumerable set - effectively generating set - effectively nonrecursive set - effectively simple set - enumeration reducible set - finely perfect set - finitely definite set - finitely measurable set- flat set- full set- fully reducible set - functionally closed set - functionally complete set - functionally open set - fundamental probability set - generalized almost periodic set- goal set- internally stable set- knot set- left directed set - left normal set - left-hand cluster set - linearly ordered set - local peak set - locally arcwise set - locally closed set - locally compact set - locally connected set - locally contractible set - locally convex set - locally finite set - locally invariant set - locally negligible set - locally null set - locally polar set - locally polyhedral set - metrically bounded set - metrically dense set - multiply ordered set - nearly analytic set - nearly closed set - nonvoid set - normally ordered set- null set- open in rays set - partitioned data set- peak set- pole set- positively homothetic set- pure set- radially open set - rationally independent set - recursively creative set - recursively indecomposable set - recursively isomorphic set - recursively productive set - regularly convex set - regularly situated sets - relatively closed set - relatively compact set - relatively dense set - relatively interpretable set - relatively open set - right normal set - right-hand cluster set- scar set- sequentially complete set - serially ordered set - set of elementary events - set of first category - set of first kind - set of first species - set of possible outcomes - set of probability null - set of second category - set of second species - shift invariant set - simply connected set - simply ordered set - simply transitive set- skew set- star set- strongly bounded set - strongly closed set - strongly compact set - strongly connected set - strongly convex set - strongly dependent set - strongly disjoint sets - strongly enumerable set - strongly independent set - strongly minimal set - strongly polar set - strongly reducible set - strongly separated set - strongly simple set - strongly stratified set- tame set- tautologically complete set - tautologically consistent set - tautologically inconsistent set- test set- thin set- tie set- time set- totally disconnected set - totally imperfect set - totally ordered set - totally primitive set - totally unimodular set - totally unordered set - truth-table reducible set - uniformly bounded set - uniformly continuous set - uniformly convergent set - uniformly integrable set - uniformly universal set - unilaterally connected set- unit set- vacuous set- void set- weakly compact set - weakly convex set - weakly n-dimensional set - weakly stratified set - weakly wandering set - well chained set - well founded set - well measurable set - well ordering set - well quasiordered set
См. также в других словарях:
Carnap-Ramsey sentences — In philosophy, Carnap Ramsey sentences refer to an attempt by logical positivist philosopher Rudolf Carnap to reconstruct theoretical propositions such that they gained empirical content. For Carnap, questions such as: “Are electrons real?” and:… … Wikipedia
Double spaced sentences — Double spacing at the ends of sentences is a typographical convention that has sometimes been termed English spacing. Since the mid 1990s, it has often been termed French spacing, although that term has traditionally referred to the practice of… … Wikipedia
language — /lang gwij/, n. 1. a body of words and the systems for their use common to a people who are of the same community or nation, the same geographical area, or the same cultural tradition: the two languages of Belgium; a Bantu language; the French… … Universalium
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium
Gale-Church alignment algorithm — In computational linguistics, the Gale Church algorithm is a method for aligning corresponding sentences in a parallel corpus. It works on the principle that equivalent sentences should roughly correspond in length mdash;that is, longer sentences … Wikipedia
List of Statutory Instruments of the United Kingdom, 1988 — NOTOC This is a complete list of all 1558 Statutory Instruments published in the United Kingdom in the year 1988.1 100* Origin of Goods (Petroleum Products) Regulations 1988 S.I. 1988/1 * Export of Sheep (Prohibition) (No.2) Amendment Order 1988… … Wikipedia
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
